package automaton.efsm;

import java.util.ArrayList;
import automaton.AbstractAutomaton;

/**
 * Abstract class representing an extended finite-state machine.
 * @author Daniil Chivilikhin
 *
 */
public abstract class AbstractEFSM extends AbstractAutomaton {
	public abstract int getNumberOfExternalInfluences();

	public interface Transition extends AbstractAutomaton.Transition {
		public ArrayList<String> getActions();		
	}
}
